// T extends U 检查类型 T 是否可以赋值给类型 U。
type MyExclude<T, U> =  T extends U ? never : T;

type Result = MyExclude<'a' | 'b' | 'c', 'a'> // 'b' | 'c'